do
    let a :: b = ()
    ()
